Fixed-point arithmetic - PDFSEARCH.IO - Document Search Engine

Fixed-point arithmetic
Results: 67

#	Item
11	Lineare Algebra: Endliche Arithmetik Dominik Honegger, Dezember 2015 Dominik Honegger \| Add to Reading List Source URL: www.cvg.ethz.ch Language: English - Date: 2015-12-18 04:26:46 Computer arithmetic Mathematics Classical music Fixed-point arithmetic Integer Q Honegger Floating point
12	Arithmétique flottante en précision arbitraire Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon École « précision et reproductibilité en calcul numérique », Fréjus Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Computing Software Computer programming GNU MPFR Paul Zimmermann GNU Multiple Precision Arithmetic Library Rounding Floating point Fixed-point arithmetic IEEE floating point Precision
13	The Zonotope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, FGif-sur-Yvette Cedex, France, Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Numerical analysis Affine geometry Operations research Affine arithmetic Abstract interpretation Semidefinite programming Polyhedron Interval arithmetic Fixed point
14	Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GNU Hackers Meeting, Paris, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Paul Zimmermann GNU Compiler Collection GNU Fixed-point arithmetic IEEE floating point Floating point IEEE 754-1985
15	Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:17:50 Computer arithmetic Abstract interpretation Interval arithmetic Rounding Floating point Affine arithmetic Interval Function Limit of a function NaN Fixed-point arithmetic Machine epsilon
16	A hardware MP3 decoder with low precision floating point intermediate storage Andreas Ehliar, Johan Eilert LiTH-ISY-EXLink¨oping 2003 Add to Reading List Source URL: www.mp3-tech.org Language: English - Date: 2009-06-28 10:47:13 Computer arithmetic Central processing unit Computer architecture Processor register Instruction set Floating point Fixed-point arithmetic Decoder
17	Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Computer arithmetic Abstract interpretation Floating point Interval arithmetic Fluctuat Rounding Infinite loop Affine arithmetic Lookup table Recursion Division algorithm Fixed-point arithmetic
18	Sage Reference Manual: Fixed and Arbitrary Precision Numerical Fields Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Computing Data types Analytic functions Exponentials Sage Arbitrary-precision arithmetic Floating point MPFR Rounding Mathematics Computer arithmetic Mathematical software
19	On the Performance of SC-MMSE-FD Equalization for Fixed-Point Implementations Michael Schwall Tamal Bose Add to Reading List Source URL: www.cel.kit.edu Language: English - Date: 2014-09-09 04:52:11 Technology Digital audio Digital signal processing Noise Computer arithmetic Turbo equalizer Equalizer Quantization Q Electronics Telecommunications engineering Signal processing
20	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-05 05:55:21 Primitive types Software engineering Mathematics Numerical analysis Floating point Genetic algorithm Error detection and correction C Affine arithmetic Computer arithmetic Computing Data types